Formal Semantics for Java-like Languages and Research Opportunities

The objective of this paper is twofold: first, we discuss the state of art on Java-like semantics, focusing on those that provide formal specification using operational semantics (big-step or small-step), studying in detail the most cited projects and presenting some derivative works that extend the originals aggregating useful features. Also, we filter our research for those that provide some insights in type-safety proofs. Furthermore, we provide a comparison between the most used projects in order to show which functionalities are covered in such projects. Second, our effort is focused towards the research opportunities in this area, showing some important works that can be applied to the previously presented projects to study features of object-oriented languages, and pointing for some possibilities to explore in future researches

Intestinal constipation in intensive care units

Constipation is a common complication identified among critically ill patients. Its incidence is highly variable due to lack of definition of such patients. Besides the already known consequences of constipation, in recent years it was observed that this complication may also be related to worse prognosis of critically ill patients. This review endeavors to describe the main available scientific evidence showing that constipation is a prognostic marker and a clinical representation of intestinal dysfunction, in addition to eventually interfering in the prognosis with treatment. Ogilvie syndrome, a major cause of morbidity and mortality in intensive care units was also reviewed. Considering the above cases it was concluded that more attention to this disorder is required in intensive care units as well as development of protocols for diagnosis and management of critically ill patients.A constipação intestinal é uma complicação comumente identificada entre pacientes graves. Sua incidência é bastante variável devido à carência de uma definição aplicável a estes pacientes. Além das consequências já conhecidas da constipação, nos últimos anos tem-se percebido que essa complicação também pode estar relacionada ao pior prognóstico de pacientes críticos. Ao longo desta revisão procurou-se descrever as principais evidências científicas disponíveis mostrando ser a constipação um marcador prognóstico e uma das representações clínicas da disfunção intestinal, além da possibilidade de interferir no prognóstico com o tratamento. Revisou-se também a síndrome de Ogilvie, importante causa de morbidade e mortalidade nas unidades de terapia intensiva. Conclui-se, por todo o exposto, ser necessária mais atenção a esse distúrbio nas unidades de terapia intensiva, com elaboração de protocolos de diagnóstico e manejo em pacientes graves.Universidade Federal de São Paulo (UNIFESP)UNIFESPSciEL

Projeto Sonho Verde: Educação Ambiental com alunos do Ensino Fundamental -Escola Estadual Pio XII

De acordo com Loureiro e Cossío (2007), após o período posterior a metadedos anos de 1990, o Brasil vem por intermédio da criação de diretrizes e políticas públicas,produzindo esforços e mudança no quesito incentivo a Educação Ambiental na formaçãobásica. Diante disso, este trabalho teve como objetivo analisar a percepção ambiental dosalunos participantes do Projeto Sonho Verde, através de atividades de extensão voltadaspara Educação Ambiental, para adolescentes e jovens (alunos de 4o ao 9º ano e 1º graue 2º grau) visando capacitar os alunos para que os mesmos façam uma análise críticado contexto socioambiental atual, de forma que contribua para ampliação da consciênciasociopolítica destes. De forma geral, foi concluído por meio de questionários aplicadosapós as atividades submetidas aos alunos participantes, que, a maioria dos alunos temuma concepção ambiental presente, bem como ciência dos assuntos relacionados ao meioambiente como, poluição, resíduos, elementos naturais, coleta seletiva e outros. Portando,tais resultados evidenciam o fato de que a educação ambiental nas escolas, se faz necessáriopara a formação do cidadão consciente

Avaliação dos impactos ambientais na mata do bairro Francisco Duarte, Araxá-MG

O desenvolvimento dos centros urbanos, da forma como se deu na maioria das cidades brasileiras, não contou com um planejamento adequado que aliasse a atenção às novas demandas construtivas com a manutenção das áreas verdes. Este estudo visa avaliar os principais impactos ambientais decorrentes do uso e influências das vizinhanças no entorno e dentro da área verde urbana e estabelecer ações prioritárias para os órgãos gestores. A área em estudo, conhecida como Mata do Bairro Francisco Duarte, apresentou a pontuação para impacto extremo ou muito intenso em 20% dos itens avaliados, o que indica que as condições do mesmo são significantes e precisam de um plano de ação para minimizar os impactos. A principal ação de controle desses impactos ambientais é a manutenção do cercamento da mata e fiscalização do local. No restante do parque, a educação ambiental é uma opção como medida preventiva dos impactos, sendo que os aspectos ambientais estão diretamente relacionados aos moradores do entorno

Formal semantics for java-like languages and research opportunities.

Currently, Java is one of the most used programming languages, being adopted in many large projects, where applications reach a level of complexity for which manual testing and human inspection are not enough to guarantee quality in software development. Because of that, there is a growing research field that concerns the formalization of small subsets of Java-like languages aimed to conduct studies that were impossible to achieve through informal approaches. In this context, the objective of this paper is twofold: the discussion of the state-of-the-art on Java-like semantics and the presentation of research opportunities in this area. For the first goal, we present a research about Java-like formal semantics, filtering those that provide some insights in type-safety proofs, choosing the four most cited projects to be presented in details. We also briefly present some related studies that extended the originals aggregating useful features. Additionally, we provide a comparison between the most cited projects in order to show which functionalities are covered by each one of them. As for the second goal, we discuss possible future studies that can be performed by using the presented formal semantics.Atualmente Java ?e uma das linguagens de programac? ?ao mais utilizadas, sendo adotada em muitos projetos de grande escala, onde aplicac? ?oes alcanc?am um n??vel de complexidade no qual testes e inspec? ?oes manuais n?ao s?ao suficientes para garantir qualidade no desenvolvimento de software. Por conta disso, existe um crescente campo de pesquisa que diz respeito a formalizac? ?ao de pequenos fragmentos de linguagens similares ao Java, almejando a conduc? ?ao de estudos os quais eram imposs??veis de realizar atrav?es de abordagens informais. Neste contexto, este artigo tem dois objetivos: a discuss?ao do estado da arte sobre sem?anticas similares ao Java e a apresentac? ?ao de oportunidades de pequisa nesta ?area. Para o primeiro objetivo, ?e proposta uma pequisa sobre sem?anticas formais da linguagem Java, filtrando aquelas que prov?eem provas de seguranc?a de tipos, escolhendo os quatro projetos mais citados para serem apresentados em detalhes. Tamb?em s?ao apresentados brevemente alguns estudos derivados que estendem os originais agregando funcionalidades. Adicionalmente, ?e apresentada uma comparac? ?ao entre os projetos mais citados como forma de demonstrar quais funcionalidades s?ao cobertas por cada um deles. Como segundo objetivo s?ao discutidos poss??veis trabalhos futuros que podem ser realizados atrav?es do uso das sem? anticas formais apresentadas

A pegada ecológica dos alunos do 1º período do curso de Pedagogia do UNIARAXÁ

A pegada ecológica é uma ferramenta que possibilita medir o impacto do homem sobre o planeta. Esta medida pode ser obtida em hectares ou qualitativamente, pela forma como o homem realiza suas ações cotidianas. Quantificou-se a pegada ecológica dos alunos do 1º período do curso de Pedagogia do UNIARAXÁ de modo a apresentar suas percepções e discutir os desdobramentos desta pegada na vida diária. Além de considerar as reflexões que o tema suscita e ações ambientais para melhorar os índices registrados na sociedade brasileira. Os procedimentos adotados para a obtenção dos dados foram elaborados à partir de questionário elaborado pela Global Footprint Network, adaptado pela equipe de Comunicação Institucional da Rede CLIMA do Instituto Nacional de Pesquisas Espaciais (INPE). O questionário é composto de catorze questões, referentes a atividades e comportamentos dos pesquisados, em casa, no transporte e na alimentação. Conforme pontuação padronizada para cada uma das alternativas apontadas, dimensionou-se o impacto dos 40 respondentes. A pegada ecológica estimada foi de 45,1 pontos e mostra que o grupo tem uma pegada moderada e que o estilo de vida adotado precisa de atenção, pois está um pouco acima da capacidade natural de regeneração de recursos pelo planeta, uma vez que o limite aceitável para concordância com as questões ambientais está entre 50 a 70 pontos. O resultado obtido demonstra que o grupo pode ainda ampliar o entendimento sobre as questões socioambientais de forma a garantir futuros educadores conscientes da realidade e aptos a sensibilizar e conscientizar seus alunos para a busca da sustentabilidade

INTERDISCIPLINARIDADE: SUPERAÇÃO DA DIVISÃO DO TRABALHO NO SABER-FAZER CIENTÍFICO OU SUA FRAGMENTÁRIA DESFRAGMENTAÇÃO?

O objetivo deste artigo é abordar criticamente a interdisciplinaridade enquanto um movimento epistemológico contemporâneo que propõe superar, concomitantemente, a fragmentação do saber-fazer científico e a atitude contemplativa e determinista do ser humano diante de uma realidade supostamente objetiva e imutável. Mostrar-se-á – com base em uma revisão bibliográfica – que a reflexão humana sobre a realidade – dos primórdios da filosofia ocidental, passando pela constituição da ciência, até os dias atuais – é um processo histórico de disputa em torno da possibilidade da verdade e no qual se enfrentam perspectivas que oscilam entre um objetivismo (a natureza como modelo do real) e um subjetivismo (o conhecimento restrito à experiência do sujeito cognoscente). Diante desse cenário, a emergência do materialismo histórico marxiano trouxe importante contribuição ao demonstrar que o substrato das práxis filosófica e científica está no trabalho – enquanto relação ontológica entre ser humano (social) e natureza – e propor que tais saberes-fazeres não apenas superem suas fragmentações internas, como se lancem para uma transformação revolucionária da realidade. Não sendo tais apontamentos uma novidade histórica, e nem mesmo o tom do modismo atual em torno da interdisciplinaridade, o presente artigo termina por indagar quais seriam, então, os propósitos desse movimento

Ambiguity and constrained polymorphism.

This paper considers the problem of ambiguity in Haskell-like languages. Overloading resolution is characterized in the context of constrained polymorphism by the presence of unreachable variables in constraints on the type of the expression. A new definition of ambiguity is presented, where existence of more than one instance for the constraints on an expression type is considered only after overloading resolution. This introduces a clear distinction between ambiguity and overloading resolution, makes ambiguity more intuitive and independent from extra concepts, such as functional dependencies, and enables more programs to type-check as fewer ambiguities arise. The paper presents a type system and a type inference algorithm that includes: a constraint-set satisfiability function, that determines whether a given set of constraints is entailed or not in a given context, focusing on issues related to decidability, a constraint-set improvement function, for filtering out constraints for which overloading has been resolved, and a context-reduction function, for reducing constraint sets according to matching instances. A standard dictionary-style semantics for core Haskell is also presented

INSATISFAÇÃO COM A IMAGEM CORPORAL ENTRE PESSOAS DE MEIA - IDADE E IDOSAS PRATICANTES DE ATIVIDADE FÍSICA

O objetivo deste estudo foi verificar a prevalência de insatisfação com a imagem corporal em dois grupos de idosas praticantes de atividade física. Participaram do estudo 12 integrantes de um grupo de ginástica para a terceira idade e 16 integrantes da UNATI de uma universidade privada. Utilizou-se um questionário que continha o Body Shape Questionnaire, a Escala de Silhuetas e perguntas sobre algumas outras características. A prevalência de insatisfação com a imagem corporal foi de 25,0%, houve significância estatística (p < 0,05) entre a insatisfação corporal com as variáveis: nível educacional, IMCs “atual” e “desejado”, uso de cigarro e silhueta atual. Além disso, a amostra apresentou, em conjunto, o desejo de reduzir o peso corporal, elevar a estatura e consequentemente reduzir o IMC. Aquelas consideradas mais magras não desejavam diminuir o peso, todavia daquelas que se consideravam “normais”, metade gostaria de modificar o corpo. Conclui-se que parece haver uma maior insatisfação corporal naquelas mais escolarizadas e o desejo de modificar a forma física pode estar associado à predominância de um modelo biomédico hegemônico que tende a estigmatizar o corpo velho e supervalorizar o corpo jovem e magro.